home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / test_old.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  645 b   |  46 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_OLD
  5.  
  6. creation {ANY}
  7.    make
  8.    
  9. feature {ANY}
  10.    
  11.    test_old: TEST_OLD;
  12.    
  13.    make is
  14.       require 
  15.      test_old = Void;
  16.       do
  17.      test_old := f;
  18.      test2;
  19.      test2;
  20.       ensure
  21.      old test_old = Void;
  22.      test_old = Void;
  23.       end;
  24.    
  25.    f: like Current is
  26.       require 
  27.      test_old = Void;
  28.       do
  29.      test_old := Void;
  30.       ensure
  31.      old test_old = Void;
  32.      test_old = Void;
  33.       end;
  34.    
  35.    i: INTEGER;
  36.    
  37.    test2 is
  38.       do
  39.      i := i + 1;
  40.       ensure
  41.      i - 1 = old i
  42.       end;
  43.      
  44.    
  45. end -- TEST_OLD
  46.